<?php
class Db_Mysql_Column extends Db_Sql_Column
{
}
?>